SMT LIB
SMT用のライブラリ？
確認用
Q. SMT LIB
参考
SMT-LIB The Satisfiability Modulo Theories Library
SMT LIBが対応している？SMT Solverの一覧:
SMT-LIB The Satisfiability Modulo Theories Library
関連